34 results
Introduction of a Basic Theory of Objects
-
- Journal:
- Nagoya Mathematical Journal / Volume 38 / March 1970
- Published online by Cambridge University Press:
- 22 January 2016, pp. 185-225
- Print publication:
- March 1970
-
- Article
-
- You have access
- Export citation
On a Method of Describing Formal Deductions Convenient for Theoretical Purposes
-
- Journal:
- Nagoya Mathematical Journal / Volume 36 / November 1969
- Published online by Cambridge University Press:
- 22 January 2016, pp. 83-97
- Print publication:
- November 1969
-
- Article
-
- You have access
- Export citation
On Formal Theories
-
- Journal:
- Nagoya Mathematical Journal / Volume 32 / June 1968
- Published online by Cambridge University Press:
- 22 January 2016, pp. 361-371
- Print publication:
- June 1968
-
- Article
-
- You have access
- Export citation
A System of Mutually Contradictory n Abstractions Whose Proper Sub-Systems Are all Mutually Consistent
-
- Journal:
- Nagoya Mathematical Journal / Volume 32 / June 1968
- Published online by Cambridge University Press:
- 22 January 2016, pp. 395-397
- Print publication:
- June 1968
-
- Article
-
- You have access
- Export citation
On a Class of Truth-Value Evaluations of the Primitive Logic
-
- Journal:
- Nagoya Mathematical Journal / Volume 31 / January 1968
- Published online by Cambridge University Press:
- 22 January 2016, pp. 71-80
- Print publication:
- January 1968
-
- Article
-
- You have access
- Export citation
A Study on Formal Deductions in the Primitive Logic
-
- Journal:
- Nagoya Mathematical Journal / Volume 31 / January 1968
- Published online by Cambridge University Press:
- 22 January 2016, pp. 1-14
- Print publication:
- January 1968
-
- Article
-
- You have access
- Export citation
A Remark on Peirce’s Rule in Many-Valued Logics
-
- Journal:
- Nagoya Mathematical Journal / Volume 31 / January 1968
- Published online by Cambridge University Press:
- 22 January 2016, pp. 69-70
- Print publication:
- January 1968
-
- Article
-
- You have access
- Export citation
Formal System Having Just One Primitive Notion
-
- Journal:
- Nagoya Mathematical Journal / Volume 28 / October 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 73-77
- Print publication:
- October 1966
-
- Article
-
- You have access
- Export citation
A Formalism for the Classical Sentence-Logic
-
- Journal:
- Nagoya Mathematical Journal / Volume 28 / October 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 69-71
- Print publication:
- October 1966
-
- Article
-
- You have access
- Export citation
A Lemma which Distinguishes Minimal Logics from Other Logics
-
- Journal:
- Nagoya Mathematical Journal / Volume 28 / October 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 197-201
- Print publication:
- October 1966
-
- Article
-
- You have access
- Export citation
On Development of Formal Systems Starting from Primitive Logic
-
- Journal:
- Nagoya Mathematical Journal / Volume 28 / October 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 79-83
- Print publication:
- October 1966
-
- Article
-
- You have access
- Export citation
Reinforced Logics
-
- Journal:
- Nagoya Mathematical Journal / Volume 28 / October 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 15-25
- Print publication:
- October 1966
-
- Article
-
- You have access
- Export citation
On a Characteristic Feature of the Positive Logics
-
- Journal:
- Nagoya Mathematical Journal / Volume 28 / October 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 193-196
- Print publication:
- October 1966
-
- Article
-
- You have access
- Export citation
Mutual Contradiction of Two Self-Consistent Abstractions
-
- Journal:
- Nagoya Mathematical Journal / Volume 28 / October 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 59-61
- Print publication:
- October 1966
-
- Article
-
- You have access
- Export citation
Taboo Versus Axiom
-
- Journal:
- Nagoya Mathematical Journal / Volume 28 / October 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 113-117
- Print publication:
- October 1966
-
- Article
-
- You have access
- Export citation
A Formalism for Primitive Logic and Mechanical Proof-Checking
-
- Journal:
- Nagoya Mathematical Journal / Volume 26 / February 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 195-203
- Print publication:
- February 1966
-
- Article
-
- You have access
- Export citation
On Universal Character of the Primitive Logic
-
- Journal:
- Nagoya Mathematical Journal / Volume 27 / Issue 1 / February 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 331-353
- Print publication:
- February 1966
-
- Article
-
- You have access
- Export citation
On a Theory Objects Based on a Single Axiom Scheme
-
- Journal:
- Nagoya Mathematical Journal / Volume 26 / February 1966
- Published online by Cambridge University Press:
- 22 January 2016, pp. 13-30
- Print publication:
- February 1966
-
- Article
-
- You have access
- Export citation
A Certain Kind of Formal Theories
-
- Journal:
- Nagoya Mathematical Journal / Volume 25 / 1965
- Published online by Cambridge University Press:
- 22 January 2016, pp. 59-86
- Print publication:
- 1965
-
- Article
-
- You have access
- Export citation
New Formulation of the Axiom of Choice by making use of the Comprehension Operator
-
- Journal:
- Nagoya Mathematical Journal / Volume 23 / December 1963
- Published online by Cambridge University Press:
- 22 January 2016, pp. 53-71
- Print publication:
- December 1963
-
- Article
-
- You have access
- Export citation